Your search returned 33 results. Subscribe to this search

|
Artificial intelligence in higher education / Proceedings of the International Symposium... ; ed. V. Marík, O. Stepánková, Z. Zdráhal Monografia Publication Berlin : Springer-Verlag, cop. 1990 Description IX, 247 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Termination proofs for logic programs / Lutz Plümer Monografia Publication Berlin : Springer-Verlag, cop. 1990 Description VIII, 142 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Artificial social systems / ed. Cristiano Castelfranchi, Eric Werner Monografia Publication Berlin : Springer-Verlag, cop. 1994 Description XVIII, 337 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

KI-95 : advances in artificial intelligence : proceedings / 19th Annual German Conference on Artificial Intelligence ; ed. Ipke Wachsmuth, Claus-Rainer Rollinger, Wilfried Brauer Monografia Publication Berlin : Springer-Verlag, cop. 1995 Description XII, 268 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Foundations of intelligent systems : proceedings of the 9th International Symposium on... / ed. Zbigniew W. Ras, Maciek Michalewicz Monografia Publication Berlin : Springer, cop. 1996 Description IX, 664 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Case-based reasoning technology : from foundations to applications / ed. Mario Lenz... [et al.] Monografia Publication Berlin : Springer, cop. 1998 Description XVIII, 405 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (2).

Methodologies for intelligent systems / 7th International Symposium... ; ed. J. Komorowski Monografia Publication Berlin : Springer-Verlag, cop. 1993 Description XI, 651 p. : il. gráficos ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Aspects of automated natural language generation : proceedings / 6th International Workshop on Natural Language Generation ; ed. Robert Dale... [et al.] Monografia Publication Berlin : Springer-Verlag, cop. 1992 Description VIII, 308 p. : il. ; 25 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

The next generation of information systems : from data to knowledge / ed. Michael P. Papazoglou, John Zeleznikow Monografia Publication Berlin : Springer-Verlag, cop. 1992 Description VIII, 310 p. : il. ; 25 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Progress in case-based reasoning : proceedings / First United Kingdom Workshop ; ed. Ian D. Watson Monografia Publication Berlin : Springer-Verlag, 1995 Description VIII, 209 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Cooperative information agents : proceedings / First International Workshop, CIA'97 ; ed. Peter Kandzia, Matthias Klusch Monografia Publication Berlin : Springer-Verlag, 1997 Description IX, 285 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Advances in case-based reasoning : proceedings / Third European Workshop... ; ed. Ian Smith, Boi Faltings Monografia Publication Berlin : Springer-Verlag, 1996 Description IX, 530 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Creating personalities for synthetic actors : towards autonomous personality agents / ed. Robert Trappl, Paolo Petta Monografia Publication Berlin : Springer, cop. 1997 Description 251 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Qualitative representation of spatial knowledge / Daniel Hernández Monografia Publication Berlin : Springer, cop. 1994 Description IX, 202 p. : il. ; 24 cm LocationBiblioteca da UMinho no Campus de Azurém Availability Available (1).

Knowledge discovery in databases : PKDD 2005 : proceedings / 9th Europen Conference on Principles and Practice... ; ed. Alípio Jorge... [et al.] Monografia Publication Heidelberg : Springer, cop. 2005 Description XXIII, 719 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Knowledge based computer systems / ed. S. Ramani, R. Chandrasekar, K. S. R. Anjaneyulu Monografia Publication Berlin : Springer-Verlag, cop. 1990 Description X, 546 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

10th International Conference on Automated Deduction / Proceedings... ; ed. M. E. Stickel Monografia Publication Berlin : Springer-Verlag, cop. 1990 Description XVI, 688 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Current developments in knowledge acquisition - EKAW'92 : proceedings / 6th European Knowledge Acquisition Workshop ; ed. Thomas Wetter... [et al.] Monografia Publication Berlin : Springer-Verlag, cop. 1992 Description XIII, 444 p. : il. ; 25 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Parallelization in inference systems / International Workshop... ; ed. Bertram Fronhofer, Graham Wrightson Monografia Publication Berlin : Springer-Verlag, cop. 1992 Description VIII, 372 p. ; 25 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Learning classifier systems : from foundations to apllications / ed. Pier Luca Lanzi, Wolfgang Stolzmann, Stewart W. Wilson Monografia Publication Berlin : Springer, cop. 2000 Description X, 347 p. : il. ; 24 cm LocationBiblioteca da UMinho no Campus de Azurém Availability No copies available Checked out (1).